Rudimentary Kripke models for the intuitionistic propositional calculus
نویسندگان
چکیده
منابع مشابه
Rudimentary Kripke Models for the Intuitionistic Propositional Calculus
DoSen, K., Rudimentary Kripe models for the intuitionistic propositional calculus, Annals of Pure and Applied Logic 62 (1993) 21-49. It is shown that the intuitionistic propositional calculus is sound and complete with respect to Kripke-style models that are not quasi-ordered. These models, called rudimentary Kripke models, differ from the ordinary intuitionistic Kripke models by making fewer a...
متن کاملRudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
This paper continues the investigation of rudimentary Kripke models, i.e. non-quasiordered Kripke-style models for the Heyting propositional calculus H. Three topics, which make three companion pieces of [3], are pursued. The first topic is Beth-style models for H called rudimentary Beth models. Rudimentary Kripke models may be conceived as a particular type of these models, which are analogous...
متن کاملAncestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus
This is a sequel to two previous papers, where it was shown that, for the Heyting propositional calculus H, we can give Kripke-style models whose accessibility relation R need not be a quasi-ordering relation, provided we have: x\=A &Vy(xRy=* y VA). From left to right, this is the heredity condition of standard Kripke models for H, but, since R need not be reflexive, the converse is not automat...
متن کاملA refined calculus for Intuitionistic Propositional Logic
Since 1993, when Hudelmaier developed a O(n logn)-space decision procedure for propositional intuitionistic logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. This has been done working on proof-search strategies and on implementation structures more than on logical properties of the calculi. In this paper we provide a tableau calculus using the...
متن کاملA Remark on Propositional Kripke Frames Sound for Intuitionistic Logic
Usually, in the Kripke semantics for intuitionistic propositional logic (or for superintuitionistic logics) partially ordered frames are used. Why? In this paper we propose an intrinsically intuitionistic motivation for that. Namely, we show that every Kripke frame (with an arbitrary accessibility relation), whose set of valid formulas is a superintuitionistic logic, is logically equivalent to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1993
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90186-h